(Non-)specificity across languages: constancy, variation, v-variation

Indefinites are known to give rise to different scopal (specific vs non-specific) and epistemic (known vs unknown) uses. Farkas & Brasoveanu (2020) explained these specificity distinctions in terms of stability vs. variability in value assignments of the variable introduced by the indefinite. Typological research (Haspelmath 1997) showed that indefinites have different functional distributions with respect to these uses. In this work, we present a formal framework where Farkas & Brasoveanu (2020)’s ideas are rigorously formalized. We develop a two-sorted team semantics which integrates both scope and epistemic effects. We apply the framework to explain typological variety of indefinites, their restricted distribution and licensing conditions, and some diachronic developments of indefinite forms

The Dynamics of Question and Focus

No abstract

Indefinites in Comparatives

The goal of this paper is to explain the meaning and distribution of indefinites in comparatives, focusing on the case of English 'some' and 'any' and German 'irgend'-indefinites. We combine three competing theories of comparatives with an alternative semantics of 'some' and 'any', and a novel account of stressed 'irgend'-indefinites. One of the resulting theories, based on Heim's (2006) analysis of comparatives, predicts all the relevant differences in quantificational force, and explains why free choice indefinites are licensed in comparatives

Epistemic Modals in Hypothetical Reasoning

Data involving epistemic modals suggest that some classically valid argument forms, such as reductio, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a de re–de dicto collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic.</p

Maintenance of respiratory chain function in mouse hearts with severely impaired mtDNA transcription

The basal mitochondrial transcription machinery is essential for biogenesis of the respiratory chain and consists of mitochondrial RNA polymerase, mitochondrial transcription factor A (TFAM) and mitochondrial transcription factor B2. This triad of proteins is sufficient and necessary for mtDNA transcription initiation. Abolished mtDNA transcription caused by tissue-specific knockout of TFAM in the mouse heart leads to early onset of a severe mitochondrial cardiomyopathy with lethality within the first post-natal weeks. Here, we describe a mouse model expressing human TFAM instead of the endogenous mouse TFAM in heart. These rescue mice have severe reduction in mtDNA transcription initiation, but, surprisingly, are healthy at the age of 52 weeks with near-normal steady-state levels of transcripts. In addition, we demonstrate that heavy-strand mtDNA transcription normally terminates at the termination-associated sequence in the control region. This termination is abolished in rescue animals resulting in heavy (H)-strand transcription of the entire control region. In conclusion, we demonstrate here the existence of an unexpected mtDNA transcript stabilization mechanism that almost completely compensates for the severely reduced transcription initiation in rescue hearts. Future elucidation of the underlying molecular mechanism may provide a novel pathway to treat mitochondrial dysfunction in human pathology